Optimal. Leaf size=85 \[ b d e^2 \log (F) F^{a+b c} \text{Ei}(b d x \log (F))-\frac{e^2 F^{a+b c+b d x}}{x}+2 e f F^{a+b c} \text{Ei}(b d x \log (F))+\frac{f^2 F^{a+b c+b d x}}{b d \log (F)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.276619, antiderivative size = 85, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 4, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.182, Rules used = {2199, 2194, 2177, 2178} \[ b d e^2 \log (F) F^{a+b c} \text{Ei}(b d x \log (F))-\frac{e^2 F^{a+b c+b d x}}{x}+2 e f F^{a+b c} \text{Ei}(b d x \log (F))+\frac{f^2 F^{a+b c+b d x}}{b d \log (F)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2199
Rule 2194
Rule 2177
Rule 2178
Rubi steps
\begin{align*} \int \frac{F^{a+b (c+d x)} (e+f x)^2}{x^2} \, dx &=\int \left (f^2 F^{a+b c+b d x}+\frac{e^2 F^{a+b c+b d x}}{x^2}+\frac{2 e f F^{a+b c+b d x}}{x}\right ) \, dx\\ &=e^2 \int \frac{F^{a+b c+b d x}}{x^2} \, dx+(2 e f) \int \frac{F^{a+b c+b d x}}{x} \, dx+f^2 \int F^{a+b c+b d x} \, dx\\ &=-\frac{e^2 F^{a+b c+b d x}}{x}+2 e f F^{a+b c} \text{Ei}(b d x \log (F))+\frac{f^2 F^{a+b c+b d x}}{b d \log (F)}+\left (b d e^2 \log (F)\right ) \int \frac{F^{a+b c+b d x}}{x} \, dx\\ &=-\frac{e^2 F^{a+b c+b d x}}{x}+2 e f F^{a+b c} \text{Ei}(b d x \log (F))+\frac{f^2 F^{a+b c+b d x}}{b d \log (F)}+b d e^2 F^{a+b c} \text{Ei}(b d x \log (F)) \log (F)\\ \end{align*}
Mathematica [A] time = 0.149333, size = 58, normalized size = 0.68 \[ F^{a+b c} \left (F^{b d x} \left (\frac{f^2}{b d \log (F)}-\frac{e^2}{x}\right )+e (b d e \log (F)+2 f) \text{Ei}(b d x \log (F))\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.053, size = 135, normalized size = 1.6 \begin{align*} -{\frac{{e}^{2}{F}^{bdx}{F}^{bc+a}}{x}}+{\frac{{f}^{2}{F}^{bdx}{F}^{bc+a}}{bd\ln \left ( F \right ) }}-\ln \left ( F \right ) bd{e}^{2}{F}^{bc}{F}^{a}{\it Ei} \left ( 1,bc\ln \left ( F \right ) +\ln \left ( F \right ) a-bdx\ln \left ( F \right ) - \left ( bc+a \right ) \ln \left ( F \right ) \right ) -2\,fe{F}^{bc}{F}^{a}{\it Ei} \left ( 1,bc\ln \left ( F \right ) +\ln \left ( F \right ) a-bdx\ln \left ( F \right ) - \left ( bc+a \right ) \ln \left ( F \right ) \right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.19312, size = 92, normalized size = 1.08 \begin{align*} F^{b c + a} b d e^{2} \Gamma \left (-1, -b d x \log \left (F\right )\right ) \log \left (F\right ) + 2 \, F^{b c + a} e f{\rm Ei}\left (b d x \log \left (F\right )\right ) + \frac{F^{b d x + b c + a} f^{2}}{b d \log \left (F\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.49197, size = 189, normalized size = 2.22 \begin{align*} \frac{{\left (b^{2} d^{2} e^{2} x \log \left (F\right )^{2} + 2 \, b d e f x \log \left (F\right )\right )} F^{b c + a}{\rm Ei}\left (b d x \log \left (F\right )\right ) -{\left (b d e^{2} \log \left (F\right ) - f^{2} x\right )} F^{b d x + b c + a}}{b d x \log \left (F\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{F^{a + b \left (c + d x\right )} \left (e + f x\right )^{2}}{x^{2}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (f x + e\right )}^{2} F^{{\left (d x + c\right )} b + a}}{x^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]